Section: New Results

Mathematical Components Library

We have released a new version of the Mathematical Components Library (http://www.msr-inria.fr/projects/mathematical-components-2/ ), including an updated version of the Ssreflect package (http://ssr.msr-inria.inria.fr/ ). A major refactoring of the archive now allows a more modular distribution, through several thematic packages, also available via the OPAM package manager. We have also opened our development repository and we mirror it on the GitHub platform, in order to better foster the community of users of the library.